Thorn independence in the field of real numbers with a small multiplicative group

Thorn independence in the field of real numbers with a small multiplicative group

We characterize þ-independence in a variety of structures, focusing on the eld of real numbers expanded by predicate de ning a dense multiplicative subgroup, G, satisfying the Mann property and whose pth powers are of nite index in G. We also show such structures are super-rosy and eliminate imaginaries up to codes for small sets.

Characterizing the Multiplicative Group of a Real Closed Field in Terms of its Divisible Maximal Subgroup

characterizing the multiplicative group of a real closed field in terms of its divisible maximal subgroup

an investigation of the types of text reduction in subtitling: a case study of the persian film gilaneh with english subtitles

چکیده ندارد.

Finding Smooth Graphs with Small Independence Numbers

In this paper we formulate an algorithm for finding smooth graphs with small independence numbers. To this end we formalize a family of satisfaction problems and propose a branch-and-bound-based approach for solving them. Strong bounds are obtained by exploiting graph-theoretic aspects including new results obtained in cooperation with leading graph theorists. Based on a partial solution we der...